/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package classcreator;

/**
 *
 * @author Stefano
 */
public class GuardedTransition {
    public Transition transition;
    public State startState;
    public State endState;
    public String guard;
    public GuardedTransition(Transition t, State s, State e, String g){
        transition=t;
        startState=s;
        endState=e;
        guard=g;
    }
}
